Positive Ariane tests greet motor redesign
نویسندگان
چکیده
منابع مشابه
ARIANE 5 Flight 501 Failure
FOREWORD On 4 June 1996, the maiden flight of the Ariane 5 launcher ended in a failure. Only about 40 seconds after initiation of the flight sequence, at an altitude of about 3700 m, the launcher veered off its flight path, broke up and exploded. Engineers from the Ariane 5 project teams of CNES and Industry immediately started to investigate the failure. Over the following days, the Director G...
متن کاملAriane: An Awareness Mechanism for Shared Databases
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific application or DBMS. Ariane improves the availability of awareness information to different cooperative applications by monitoring the application persistence mechanism. A prototype of Ariane was developed using the Java Data O...
متن کاملModel Checking Ariane-5 Flight Program
This paper reports a veriication experiment carried out on a re-engineered description of a part of Ariane-5 Flight Program. This is the embedded software which solely controls the Ariane-5 launcher during its ight, from the ground, through the atmosphere and up to the nal orbit. In this case study, the Sdl language was used to describe the main functional behavior of the ight program including...
متن کاملScheduling Crash Tests at Ford Motor Company
Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes the journal title. However, use of a template does not certify that the paper has been accepted for publication in the named journal. INFORMS journal templates are for the exclusive purpose of submitting to an INFORMS journal and should not be used to distribute the papers in print ...
متن کاملAutomated Redesign with the General Redesign Engine
Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the probability of particular faults by introducing components selected from a component library. We have implemented a General Redesign Engine (GRE), which uses model-based reasoning techniques and Boolean functional synthes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1987
ISSN: 0028-0836,1476-4687
DOI: 10.1038/328370c0